Reasoning About Actions with Description Logics
نویسندگان
چکیده
In this paper we will show that a recently proposed method for ABox updates in Description Logics can be given a Fluent Calculus semantics. This allows the usage of Description Logic ABoxes as decidable state descriptions. We discuss some natural extensions of the method and the arising issues. Finally, we present an action programming language implementing this Fluent Calculus fragment using a Description Logic Reasoner and Prolog.
منابع مشابه
Classic planning for mobile robots
The paper describes an approach to reasoning about actions and plan generation within the framework of description logics Our proposal is considered classic since it is in the style of deductive planning and it relies upon the reasoning capabilities of description logics that are realized in the system Classic From an epistemological point of view our approach is based on the formalization of a...
متن کاملMoving a Robot : The KR & R Approach
The paper describes an approach to reasoning about actions and plan generation within the framework of description logics. From an epistemological viewpoint, our approach is based on the formalization of actions given by dynamic logics, but we exploit their correspondence with description logics to turn the formalization into an actual implementation. In particular, we are able to carefully wea...
متن کاملA Theory and Implementation of Cognitive Mobile Robots
We describe an approach to reasoning agents which is based on a formal theory of actions and is actually implemented on a mobile robot working in an office environment. From an epistemological viewpoint, our proposal is originated by the correspondence between Dynamic Logics and Description Logics. Specifically, we consider an epistemic extension of Description Logics to provide a new theoretic...
متن کاملMoving a Robot: The KR&R Approach at Work
The paper describes an approach to reason ing about actions and plan generation within the framework of description logics From an epistemological viewpoint our approach is based on the formalization of actions given by dynamic logics but we exploit their corre spondence with description logics to turn the formalization into an actual implementation In particular we are able to carefully weaken...
متن کاملEmploying description logics in Ambient Intelligence for modeling and reasoning about complex situations
Ambient Intelligence systems need to represent information about their environment and recognize relevant situations to perform appropriate actions proactively and autonomously. The context information gathered by these systems comes with imperfections such as incompleteness or incorrectness. These characteristics need to be handled gracefully by the Ambient Intelligence system. Moreover, the r...
متن کاملPlanning in Description Logics : Deduction versus
Description Logics (DLs) are formalisms for taxonomic reasoning about structured knowledge. Adding the transitive closure of roles to DLs also enables them to represent and reason about actions and plans. The present paper explores several essentially diierent encodings of planning in Description Logics. We argue that DLs represent an ideal framework for analysing and comparing these approaches...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006